ПЛОСКИЙ МОРФИЗМ

- морфизм схем ПЛОСКИЙ МОРФИЗМ фото №1 такой, что для любой точки ПЛОСКИЙ МОРФИЗМ фото №2 локальное кольцо ПЛОСКИЙ МОРФИЗМ фото №3 является плоским над ПЛОСКИЙ МОРФИЗМ фото №4 (см. Плоский модуль). Вообще, пусть ПЛОСКИЙ МОРФИЗМ фото №5- пучок ПЛОСКИЙ МОРФИЗМ фото №6 -модулей, он наз. плоским над Yв точке ПЛОСКИЙ МОРФИЗМ фото №7, если ПЛОСКИЙ МОРФИЗМ фото №8- плоский модуль над кольцом ПЛОСКИЙ МОРФИЗМ фото №9. При нек-рых (довольно слабых) условиях конечности множество точек, в к-рых когерентный ПЛОСКИЙ МОРФИЗМ фото №10 -модуль ПЛОСКИЙ МОРФИЗМ фото №11 является плоским, открыто в X. Если при этом схема Yцелостна, то существует открытое непустое подмножество ПЛОСКИЙ МОРФИЗМ фото №12 такое, что ПЛОСКИЙ МОРФИЗМ фото №13- П. м. над Yво всех точках, лежащих над U.

П. м. конечного типа соответствуют интуитивному понятию непрерывного семейства многообразий. П. м. открыт и равноразмерен (т. е. размерность слоев f-1 (у) локально постоянна по ПЛОСКИЙ МОРФИЗМ фото №14).Для многих гео-метрич. свойств множество точек ПЛОСКИЙ МОРФИЗМ фото №15, в к-рых слой f-1(f(x)).плоского морфизма ПЛОСКИЙ МОРФИЗМ фото №16 обладает этим свойством, открыто в X. Если П. м. f собственный, то открытым является и множество точек ПЛОСКИЙ МОРФИЗМ фото №17, слои над к-рыми обладают этим свойством (см. [1]).

П. м. применяются также в теории спуска. Морфизм схем наз. строго плоским, если он плоский и сюръективный. Тогда, как правило, для проверки какого-либо свойства нек-рого объекта над Yдостаточно проверить это свойство для объекта, полученного после строго плоской замены базы ПЛОСКИЙ МОРФИЗМ фото №18 (см. [1]). В связи с этим представляют интерес критерии плоскостности морфизма ПЛОСКИЙ МОРФИЗМ фото №19 (или ПЛОСКИЙ МОРФИЗМ фото №20 -модуля ПЛОСКИЙ МОРФИЗМ фото №21); при этом Yможно считать локальной схемой. Простейший критерий относится к случаю, когда база Yодномерна и регулярна: когерентный ПЛОСКИЙ МОРФИЗМ фото №22 -модуль ПЛОСКИЙ МОРФИЗМ фото №23 будет плоским тогда и только тогда, когда униформизирующая на Yимеет тривиальный аннулятор в ПЛОСКИЙ МОРФИЗМ фото №24. Общий случай в нек-ром смысле сводится к одномерному. Пусть Y - приведенная нётерова схема и для любого морфизма ПЛОСКИЙ МОРФИЗМ фото №25, где Z - одномерная регулярная схема, замена базы ПЛОСКИЙ МОРФИЗМ фото №26 является П. м.; тогда f есть П. м. Другой критерий плоскостности требует, чтобы ПЛОСКИЙ МОРФИЗМ фото №27 был универсально открыт,

а Y и геометрич. слои ПЛОСКИЙ МОРФИЗМ фото №28 - приведены.

Лит.:[1] Grothendieck A., Dieudonne .Т., Elements de geometric algebrique, 4, "Publ. math. IHES", 1964, № 24; 1966, № 28; [2] Мамфорд Д., Лекции о кривых на алгебраической поверхности, пер. с англ., М., 1968; [3] Rауnaud M., GrusonL., "Invent, math.", 1971, v. 13, p. 1-89.

В. И. Данилов


Смотреть больше слов в «Математической энциклопедии»

ПЛОСКОСТЬ →← ПЛОСКИЙ МОДУЛЬ

T: 161